1241. The design and analysis of parallel algorithms

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Parallel algorithms,، Parallel programming )Computer science(

رده :
QA
76
.
6
.
A38
1989

1242. The design and analysis of parallel algorithms

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Parallel programming (Computer science),Computer algorithms

رده :
QA
76
.
6
.
A38

1243. The design and analysis of parallel algorithms

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)

موضوع : Parallel programming (Computer science),Algorithms

رده :
QA
76
.
6
.
A38
1989

1244. The design of approximation algorithms /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Approximation theory,Mathematical optimization

رده :
QA221
.
W55
2011

1245. The finite volume method in computational fluid dynamics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Finite volume method.,Computers-- Computer Science.,Finite volume method.,Fluid mechanics.,Mathematical physics.,Maths for scientists.,Mechanics of fluids.,Science-- Mathematical Physics.,Science-- Mechanics-- Dynamics-- Fluid Dynamics.,Technology & Engineering-- Mechanical.

رده :
QA911

1246. The golden ticket :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Computer programming-- Algorithms.,Mathematics-- History and philosophy.,Mathematics-- Linear programming.,Mathematics-- Mathematical analysis.,NP-complete problems.

1247. The handbook of research on scalable computing technologies /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational grids (Computer systems),Parallel processing (Electronic computers),System design.,Ubiquitous computing.,Computational grids (Computer systems),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers),System design.,Ubiquitous computing.

رده :
QA76
.
9
.
C58
H356
2010eb

1248. The logic of partial information

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N35
1995

1249. The logic of partial information

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N3

1250. The making of a new science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76
.
17

1251. The (new) Turing omnibus :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.

رده :
QA76
.
D448
1993

1252. The pre-kernel as a tractable solution for cooperative games :an exercise in algorithmic game theory

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Game theory,، Kernel functions,، Economics/Management Science,، Game Theory/Mathematical Methods,، Game Theory, Economics, Social and Behav. Sciences,، Economic Theory,، Math Applications in Computer Science

رده :
QA272
.
4

1253. The programming and proof system ATES advanced techniques integration into efficient scientific software

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Automatic theorem proving.,Computer programming.,Computer software -- Development.

1254. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses

رده :
QA
76
.
642
.
A43
1997

1255. The second Aizu international symposium on parallel algorithms/architecture synthesis :proceedings ,March 17-21 ,1997 ,Aizu -Wakamatsu ,Fukushima ,Japon

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Parallel programming )computer science( -congresses,، Computr algorthims -congresses

1256. The theory of evolution strategies

پدیدآورنده :

موضوع : Evolutionary programming (Computer science),Computer algorithms

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

1257. The theory of evolution strategies

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Evolutionary programming (Computer science)

1258. The traveling salesman : computational solutions for TSP applications

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Traveling salesman problem,، Heuristic programming,، Algorithms

رده :
QA
76
.
L28
Vol
.
840

1259. The ultimate algorithmic trading system toolbox + website :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic trading of securities.,Futures.,Investment analysis.

رده :
HG4515
.
95

1260. The visualization toolkit :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer graphics.,Object-oriented programming (Computer science),Computer graphics.,Computergraphics.,Dreidimensionale Computergrafik,Object-georiënteerd programmeren.,Object-oriented programming (Computer science),Objektorientierte Programmierung,Visualisatie.

رده :
QA76
.
64
S36
2002